منابع مشابه
Proof Burdens and Standards
This chapter explains the role of proof burdens and standards in argumentation, illustrates them using legal procedures, and surveys the history of research on computational models of these concepts. It also presents an original computational model which aims to integrate the features of these prior systems. The ‘mainstream’ conception of argumentation in the field of artificial intelligence is...
متن کاملAbduction and Dialogical Proof in Argumentation and Logic Programming
We develop a model of abduction in abstract argumentation, where changes to an argumentation framework act as hypotheses to explain the support of an observation. We present dialogical proof theories for the main decision problems (i.e., finding hypotheses that explain skeptical/credulous support) and we show that our model can be instantiated on the basis of abductive logic programs.
متن کاملFrom Selective IBE to Full IBE and Selective HIBE
Starting with any selectively secure identity-based encryption (IBE) scheme, we give generic constructions of fully secure IBE and selectively secure hierarchical IBE (HIBE) schemes. Our HIBE scheme allows for delegation arbitrarily many times.
متن کاملJumping to a Conclusion: Fallacies and Standards of Proof
Five errors that fit under the category of jumping to a conclusion are identified: (1) arguing from premises that are insufficient as evidence to prove a conclusion (2) fallacious argument from ignorance, (3) arguing to a wrong conclusion, (4) using defeasible reasoning without being open to exceptions, and (5) overlooking/suppressing evidence. It is shown that jumping to a conclusion is best s...
متن کاملSimulation without the Artificial Abort: Simplified Proof and Improved Concrete Security for Waters' IBE Scheme
Waters’ variant of the Boneh-Boyen IBE scheme is attractive because of its efficency, applications, and security attributes, but suffers from a relatively complex proof with poor concrete security. This is due in part to the proof’s “artificial abort” step, which has then been inherited by numerous derivative works. It has often been asked whether this step is necessary. We show that it is not,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The International Journal of Evidence & Proof
سال: 2018
ISSN: 1365-7127,1740-5572
DOI: 10.1177/1365712718813794